Nonmonotonic Model Inference-A Formalization of Student Modeling
نویسندگان
چکیده
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, false, unknown and fail. A modeling method called HSMIS is a new nonmonotonic model inference system and has the following major characteristics: (1) Model inference of logic program taking 4 truth values, (2)Treatment of nonmonotonicity of both student's belief and inference process itself. HSMIS incorporates de Kleer's ATMS as a vehicle for formulating the nonmonotonicity. Both SMDL interpreter and HSMIS have been implemented in Common ESP(Extended Self-contained Prolog) and incorporated into a framework for ITS, called FITS.
منابع مشابه
Production Inference, Nonmonotonicity and Abduction
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic system is shown to provide a syntax-independent representation of abductive reasoning. Abduction is a reasoning from facts to their possible explanations that is widely used now in many areas of AI, including diagnosi...
متن کاملGeneral Approach to Nonmonotonic Logics
Nonmonotonic logics are logics in which theorems can be invalidated by new axioms. In this paper we propose a general framework in which a large class of non monotonic logics can be specified. 0. Introduction Traditional logics are monotonic-i.e., theorems of any theory belong to the set of theorems of any extension of the theory. In human reasoning the situa tion is different: one's knowledg...
متن کاملThe Computational Value of Nonmonotonic Reasoning
A substantial portion of the formal work in artiicial intelligence over the past decade has involved the formalization of nonmonotonic reasoning. Unfortunately, although much of the original motivation for this work argued that it was necessary for intelligent systems to jump to default conclusions quickly, little of the formal work has justiied these arguments: Existing formal theories of nonm...
متن کاملASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory
In this paper we continue our investigation on the viability of Answer Set Programming (ASP) as a tool for formalizing, and reasoning about, psychological models. In the field of psychology, a considerable amount of knowledge is still expressed using only natural language. This lack of a formalization complicates accurate studies, comparisons, and verification of theories. We believe that ASP, ...
متن کاملDesigning a Fuzzy Inference System to Estimate the Scores of Assessment Centers
One of the methods used to measure and evaluate employees is the assessment center. Assessment centers usually have good validity at the instrumental level, but have weaknesses at the summation level. This research seeks to provide a fuzzy system for estimating AC final scores based on competency, intelligence and personality scores by modeling mentality of experts in this field. For this purpo...
متن کامل